" Kim G. Larsen" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Reactive systems: modelling, specification and verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.97 Mb

#2

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.92 Mb

#3

Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition

Mary Ellen Eiler, Lynn Frohnmayer, Dave Frohnmayer, Kim Larsen and Joyce Owen

2.21 Mb

#4

Automata, Languages and Programming, 25 conf., ICALP'98

Kim G. Larsen, Sven Skyum, Glynn Winskel

Категория: Cs_Computer science, CsLn_Lecture notes

6.24 Mb

#5

Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Категория: Cs_Computer science, CsLn_Lecture notes

2.30 Mb

#6

CONCUR 2001 - Concurrency Theory, 12 conf

Kim G. Larsen, Mogens Nielsen

Категория: Cs_Computer science, CsLn_Lecture notes

6.58 Mb

#7

Computer Aided Verification, 14 conf., CAV 2002

Ed Brinksma, Kim G. Larsen

Категория: Cs_Computer science, CsLn_Lecture notes

5.01 Mb

#8

Computer Aided Verification, 3 conf., CAV '91

Kim G. Larsen, Arne Skou

Категория: Cs_Computer science, CsLn_Lecture notes

4.42 Mb

#9

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Категория: Computer science

17.08 Mb

#10

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.86 Mb

#11

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen, Peter Niebert

3.62 Mb